Naviga IRIS

Sfoglia per Rivista THEORETICAL COMPUTER SCIENCE

Ordina per:

In ordine:

Risultati/Pagina

Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

o inserisci le iniziali:

Mostrati risultati da 12 a 21 di 21

2003-01-01 DE NICOLA, R; A., Labella

2006-01-01 DE NICOLA, R; D., Gorla; R., Pugliese

2014-01-01 Bernardo, M; De Nicola, R; Loreti, M

2016-01-01 I., Lanese; Mezzina, C; J. -B., Stefani

2008-01-01 G., Castagna; DE NICOLA, R; D., Varacca

2019-01-01 Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea

2014-01-01 Tribastone, M; Tschaikowski, M

1984-01-01 DE NICOLA, R; M., Hennessy

2000-01-01 R., Pugliese; DE NICOLA, R; G., Ferrari; Venneri, B.

1993-01-01 P., Degano; DE NICOLA, R; U., Montanari

Titolo	Data di pubblicazione	Autore(i)
Nondeterministic regular expressions as solutions of equational systems	1-gen-2003	DE NICOLA, R; A., Labella
On the Expressive Power of Klaim-based Calculi	1-gen-2006	DE NICOLA, R; D., Gorla; R., Pugliese
Relating strong behavioral equivalences for processes with nondeterminism and probabilities	1-gen-2014	Bernardo, M; De Nicola, R; Loreti, M
Reversibility in the higher-order {\(\pi\)}-calculus	1-gen-2016	I., Lanese; Mezzina, C; J. -B., Stefani
Semantic subtyping for the pi-calculus	1-gen-2008	G., Castagna; DE NICOLA, R; D., Varacca
Symbolic computation of differential equivalences	1-gen-2019	Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
Tackling continuous state-space explosion in a Markovian process algebra	1-gen-2014	Tribastone, M; Tschaikowski, M
Testing Equivalences for Processes	1-gen-1984	DE NICOLA, R; M., Hennessy
Types for Access Control	1-gen-2000	R., Pugliese; DE NICOLA, R; G., Ferrari; Venneri, B.
Universal Axioms for Bisimulations	1-gen-1993	P., Degano; DE NICOLA, R; U., Montanari

Mostrati risultati da 12 a 21 di 21